Code-Pointer Integrity Volodymyr Kuznetsov∗ , L´aszl´o Szekeres‡ , Mathias Payer†,§ George Candea∗ , R. Sekar‡ , Dawn Song† ∗ Ecole ´ † UC

Source URL: dslab.epfl.ch

• Data types
• Software bugs
• Primitive types
• Pointer
• Subroutines
• Memory management
• Memory safety
• Cyclone
• C
• Software engineering
• Computing
• Computer programming

Scrash: A System for Generating Secure Crash Information Pete Broadwell Matt Harren Naveen Sastry∗ University of California, Berkeley {pbwell, matth, nks}@cs.berkeley.edu Abstract

Source URL: naveen.ksastry.com

• C++
• Data types
• Memory management
• Software bugs
• Subroutines
• Pointer
• C dynamic memory allocation
• Setjmp.h
• Stack
• Software engineering
• Computing
• Computer programming

Test-Case Reduction for C Compiler Bugs John Regehr Yang Chen Pascal Cuoq

Source URL: www.cs.utah.edu

• Programming language implementation
• Compilers
• Debugging
• Data types
• Compiler construction
• Software bug
• GNU Compiler Collection
• Undefined behavior
• Compilation error
• Computing
• Software engineering
• Computer programming

Code Quality Software Products Defect Detection—Finding bugs in C and C++ using CodeSonar Code Assurance—Stop

Source URL: www.scl.com

SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs Matthew Hicks Cynthia Sturton

Source URL: cs.unc.edu

SBML Level 2 Parsing Library for Java: Tutorial Note: The software packages provided are betas, and intended to serve to further the community’s efforts, find bugs in the software, and to clarify SBML itself through di

Source URL: sbml.org

BED BUG CONTROL BED BUG CONTROL 205

Source URL: www.mda.gov.mb.ca

• Software bugs
• Mattresses
• Furniture
• Bed bug
• Bed
• Box-spring
• Bug
• Infant bed
• Infinite loop
• Bedding
• Home
• Beds

風水 Heap Feng Shui in JavaScript Alexander Sotirov Introduction

Source URL: www.phreedom.org

• Software bugs
• Cross-platform software
• Heap spraying
• Heap overflow
• Shellcode
• Computer errors
• Heap feng shui
• Alexander Sotirov
• C dynamic memory allocation
• Computing
• Software engineering
• Cyberwarfare

The delarray package∗ David CarlisleThis file is maintained by the LATEX Project team. Bug reports can be opened (category tools) at http://latex-project.org/bugs.html.

Source URL: ctan.sciserv.eu

• Delimiter
• Pattern matching
• C
• Bracket
• Array data type
• Synthetic division
• Computing
• Software engineering
• Computer programming

Poster: Targeted Therapy for Program Bugs Qiang Zeng Mingyi Zhao Peng Liu

Source URL: www.ieee-security.org

• Software quality
• Vulnerability
• Buffer overflow
• Stack buffer overflow
• C dynamic memory allocation
• Malware
• C
• Stack
• Computing
• Software bugs
• Software engineering